Кто Алан Туринг?
Алан Туринг (1912 - 1954) был британским математиком, логиком, и шифровальщиком, который, как полагают многие, был отцом информатики. Его вклады в ломку немецкого нацистского кодекса Загадки во время Второй мировой войны считали основными к Союзнической военной экономике. Алан Туринг сформулировал многократные идеи, которые теперь лежат в фондах информатики и теории исчисляемости, таких как идея машина Turing или церковный-Turing тезис .
машина Turing простая математическая конструкция, которая может быть предположена как записываемая лента бесконечной длины, соединенной с механической единицей со способностью чтения-записи. Единица может выполнить только три действия; прочитайте немного лента и возвратите результат; напишите немного на ленте; или сотрите существующий ранее бит. Церковный-Turing тезис Туринга, сформулированный с церковью Алонзо, заявляет, что такая машина Turing может теоретически вычислить любой алгоритм, данный достаточно времени и места для хранения. Это также заявляет, что любая практическая вычислительная модель должна быть типом машины Turing. Расширением это означает, что человеческий мозг может быть определен как машина Turing, потому что это обрабатывает информацию единственным способом, которым может быть обработана информация; читая, при письме, и управляя частями памяти.
Церковный-Turing тезис также утверждает, что любым алгоритмом можно управлять на чем-либо, что готовится как машина Turing. Turing помог сформулировать оригинальное определение алгоритма, который является примерно следующие: 1) алгоритм будет состоять из конечного набора точных инструкций, которые будут выполнены; 2) будьте вычислимы в конечном числе шагов (неспособность программы определить, может ли она быть выполнена в конечном числе шагов, назван "несовершенной проблемой"); 3) будьте вычислимы в принципе с только ручкой, бумагой, и бесконечное время; 4) не потребуйте, чтобы никакая вводная информация выполнила, то есть, была отдельной.
Алан Туринг получил образование в Кембридже и Принстоне в течение 30-ых. В 1936, Turing опубликовал очень влиятельную работу, На вычислимых числах, с заявлением в Entscheidungsproblem , отвечая на нерешенный вопрос, изложенный Куртом Геделем в 1931, который показал, что нет никакого алгоритмического способа определить, действительно ли данное заявление первого порядка в символической логике универсально. В 1938, Алан Туринг зарабатывал свою степень доктора философии Принстона под церковью Алонзо.
Алан Туринг провел свои послевоенные годы, работая над некоторыми из первых перепрограммируемых компьютеров, производя один из первых проектов в 1946. Он также рассмотрел проблему искусственного интеллекта, формулируя Тест Turing , тест на определение, имеет ли машина право быть названной сознательной и интеллектуальной. В Тесте Turing человек печатает слова в клавиатуру, чтобы общаться с двумя скрытыми людьми, один фактический человек, другой АЙ. Если человек не может различить, какой информант - человек и который является АЙ, АЙ, как говорят, прошел Тест Turing. Некоторые футуристы, такие как Национальная Медаль Технологического победителя Рея Керзвеила, предположили, что у нас будет Передающий тест компьютер Turing до 2030.
Алан Туринг умер в 1954, из-за зашнурованного цианидом яблока. Его смерть, как говорят, является самоубийством, результатом того, чтобы быть преследуемым по суду за гомосексуализм и вынуждаемый взять гормоны правительством.
